Local Modules in Imperative Languages

We propose a notion of local modules for imperative langauges. To be specific, we introduce a new implication statement of the form D ⊃ G where D is a module (i.e., a set of procedure declarations) and G is a statement. This statement tells the machine to add D temporarily to the program in the course of executing G. Thus, D acts as a local module and will be discarded after executing G. It therefore provides efficient program management. We illustrate our idea via C, an extension of the core C with the new statement. key words: local modules, program management, memory management.